COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Dear Dr. Szeredi:
C00003 ENDMK
C⊗;
Dear Dr. Szeredi:

	This is a belated letter of thanks for your letter and the
introspective program you sent me from London.  I got involved in
other problems when I returned to Stanford and haven't got going
on introspection again yet.  However, Brian Smith, who recently wrote a long
M.I.T. PhD Thesis on reflective versions of Lisp, has independently
become interested in a reflective version of Prolog.  What Smith
who is now at Xerox Palo Alto Research Laboratory,
means by "reflective" seems to correspond to what I mean by
"introspective".  I have sent Smith your program, but there is no
reaction yet.